[tail] [up]

2.2.1 Integrals 1 to 66

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 1

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

73 73 73 0 0 155 0 0 155

N.S.

1 1.00 1.00 0.00 0.00 2.12 0.00 0.00 2.12

time (sec)

N/A 0.294 0.036 0.000 0.000 0.266 0.000 0.000 0.484

Problem 2

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 70 21 15 18 18

N.S.

1 1.00 1.12 1.00 4.38 1.31 0.94 1.12 1.12

time (sec)

N/A 0.182 2.758 0.102 0.303 0.237 0.581 0.372 3.645

Problem 3

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

26 26 26 23 22 31 36 28 26

N.S.

1 1.00 1.00 0.88 0.85 1.19 1.38 1.08 1.00

time (sec)

N/A 0.182 0.028 0.087 0.234 0.261 0.086 0.300 0.124

Problem 4

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

12 12 14 12 64 14 12 14 14

N.S.

1 1.00 1.17 1.00 5.33 1.17 1.00 1.17 1.17

time (sec)

N/A 0.147 1.155 0.135 0.285 0.228 0.236 0.322 4.439

Problem 5

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 70 18 14 18 18

N.S.

1 1.00 1.12 1.00 4.38 1.12 0.88 1.12 1.12

time (sec)

N/A 0.178 1.697 0.096 0.311 0.243 0.649 0.338 3.756

Problem 6

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

16 16 18 16 80 18 15 18 18

N.S.

1 1.00 1.12 1.00 5.00 1.12 0.94 1.12 1.12

time (sec)

N/A 0.176 1.637 0.105 0.342 0.232 0.379 0.366 4.126

Problem 7

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

126 120 236 0 398 199 0 0 0

N.S.

1 0.95 1.87 0.00 3.16 1.58 0.00 0.00 0.00

time (sec)

N/A 0.438 5.229 0.000 0.351 0.254 0.000 0.000 0.000

Problem 8

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 271 42 17 20 20

N.S.

1 1.00 1.11 1.00 15.06 2.33 0.94 1.11 1.11

time (sec)

N/A 0.184 5.441 0.173 0.380 0.242 0.813 0.593 3.610

Problem 9

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

51 49 75 52 149 51 65 53 52

N.S.

1 0.96 1.47 1.02 2.92 1.00 1.27 1.04 1.02

time (sec)

N/A 0.303 0.232 0.100 0.240 0.245 0.097 0.341 4.074

Problem 10

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 288 32 14 16 16

N.S.

1 1.00 1.14 1.00 20.57 2.29 1.00 1.14 1.14

time (sec)

N/A 0.165 1.886 0.161 0.351 0.242 0.567 0.503 3.725

Problem 11

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 314 36 15 20 20

N.S.

1 1.00 1.11 1.00 17.44 2.00 0.83 1.11 1.11

time (sec)

N/A 0.179 11.510 0.174 0.422 0.243 2.145 0.388 5.039

Problem 12

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 306 36 17 20 20

N.S.

1 1.00 1.11 1.00 17.00 2.00 0.94 1.11 1.11

time (sec)

N/A 0.179 4.974 0.211 0.406 0.235 0.634 0.498 4.418

Problem 13

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

122 130 110 0 267 536 0 0 0

N.S.

1 1.07 0.90 0.00 2.19 4.39 0.00 0.00 0.00

time (sec)

N/A 0.520 1.227 0.000 0.295 0.264 0.000 0.000 0.000

Problem 14

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 196 20 15 20 20

N.S.

1 1.00 1.11 1.00 10.89 1.11 0.83 1.11 1.11

time (sec)

N/A 0.187 3.333 0.138 0.662 0.237 0.362 0.468 4.005

Problem 15

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 55 82 55 143 70 359 86 65

N.S.

1 0.96 1.44 0.96 2.51 1.23 6.30 1.51 1.14

time (sec)

N/A 0.364 0.162 0.134 0.299 0.250 0.541 0.299 3.543

Problem 16

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 187 16 14 16 16

N.S.

1 1.00 1.14 1.00 13.36 1.14 1.00 1.14 1.14

time (sec)

N/A 0.170 1.414 0.132 0.444 0.236 0.291 0.363 3.557

Problem 17

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 510 19 15 20 20

N.S.

1 1.00 1.11 1.00 28.33 1.06 0.83 1.11 1.11

time (sec)

N/A 0.193 1.352 0.144 0.550 0.231 0.764 0.339 4.348

Problem 18

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 534 23 17 20 20

N.S.

1 1.00 1.11 1.00 29.67 1.28 0.94 1.11 1.11

time (sec)

N/A 0.187 2.880 0.133 0.562 0.242 0.635 0.455 4.023

Problem 19

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

202 213 460 0 1001 800 0 0 0

N.S.

1 1.05 2.28 0.00 4.96 3.96 0.00 0.00 0.00

time (sec)

N/A 0.759 5.771 0.000 0.364 0.264 0.000 0.000 0.000

Problem 20

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 764 38 17 20 20

N.S.

1 1.00 1.11 1.00 42.44 2.11 0.94 1.11 1.11

time (sec)

N/A 0.184 8.344 0.168 10.405 0.249 1.073 0.614 4.119

Problem 21

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A B A C A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

94 105 114 106 556 169 1584 159 173

N.S.

1 1.12 1.21 1.13 5.91 1.80 16.85 1.69 1.84

time (sec)

N/A 0.519 0.989 0.152 0.369 0.255 0.776 0.357 3.856

Problem 22

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

14 14 16 14 2550 34 15 16 16

N.S.

1 1.00 1.14 1.00 182.14 2.43 1.07 1.14 1.14

time (sec)

N/A 0.166 6.812 0.178 1.423 0.245 0.610 0.427 4.276

Problem 23

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 3616 38 17 20 20

N.S.

1 1.00 1.11 1.00 200.89 2.11 0.94 1.11 1.11

time (sec)

N/A 0.183 12.875 0.208 1.315 0.241 1.144 0.452 4.175

Problem 24

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 18 2599 44 19 20 20

N.S.

1 1.00 1.11 1.00 144.39 2.44 1.06 1.11 1.11

time (sec)

N/A 0.183 9.759 0.176 1.412 0.246 0.987 0.511 4.380

Problem 25

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

261 261 261 0 937 0 0 0 0

N.S.

1 1.00 1.00 0.00 3.59 0.00 0.00 0.00 0.00

time (sec)

N/A 0.588 0.072 0.000 0.456 0.000 0.000 0.000 0.000

Problem 26

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

195 195 195 0 618 0 0 0 0

N.S.

1 1.00 1.00 0.00 3.17 0.00 0.00 0.00 0.00

time (sec)

N/A 0.479 0.033 0.000 0.398 0.000 0.000 0.000 0.000

Problem 27

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

135 135 135 0 359 0 0 0 0

N.S.

1 1.00 1.00 0.00 2.66 0.00 0.00 0.00 0.00

time (sec)

N/A 0.392 0.029 0.000 0.390 0.000 0.000 0.000 0.000

Problem 28

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

66 66 66 0 0 153 0 0 150

N.S.

1 1.00 1.00 0.00 0.00 2.32 0.00 0.00 2.27

time (sec)

N/A 0.261 0.024 0.000 0.000 0.265 0.000 0.000 3.947

Problem 29

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 16 68 18 15 18 18

N.S.

1 1.00 1.11 0.89 3.78 1.00 0.83 1.00 1.00

time (sec)

N/A 0.178 5.249 0.446 0.526 0.233 1.546 0.478 4.052

Problem 30

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 16 72 18 17 18 18

N.S.

1 1.00 1.11 0.89 4.00 1.00 0.94 1.00 1.00

time (sec)

N/A 0.178 12.483 0.368 0.538 0.237 0.784 0.486 4.447

Problem 31

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

402 407 567 0 2421 0 0 0 0

N.S.

1 1.01 1.41 0.00 6.02 0.00 0.00 0.00 0.00

time (sec)

N/A 0.827 3.810 0.000 0.601 0.000 0.000 0.000 0.000

Problem 32

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

274 281 365 0 1290 0 0 0 0

N.S.

1 1.03 1.33 0.00 4.71 0.00 0.00 0.00 0.00

time (sec)

N/A 0.668 1.719 0.000 0.515 0.000 0.000 0.000 0.000

Problem 33

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 124 253 0 497 196 0 0 0

N.S.

1 1.04 2.13 0.00 4.18 1.65 0.00 0.00 0.00

time (sec)

N/A 0.397 4.953 0.000 0.543 0.256 0.000 0.000 0.000

Problem 34

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 298 36 17 20 20

N.S.

1 1.00 1.10 0.90 14.90 1.80 0.85 1.00 1.00

time (sec)

N/A 0.181 130.413 0.967 0.730 0.251 8.719 0.846 4.026

Problem 35

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 300 36 19 20 20

N.S.

1 1.00 1.10 0.90 15.00 1.80 0.95 1.00 1.00

time (sec)

N/A 0.188 19.325 1.053 0.995 0.247 1.791 0.888 4.843

Problem 36

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

460 474 401 0 1133 0 0 0 0

N.S.

1 1.03 0.87 0.00 2.46 0.00 0.00 0.00 0.00

time (sec)

N/A 1.958 1.502 0.000 0.593 0.000 0.000 0.000 0.000

Problem 37

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

344 360 308 0 813 0 0 0 0

N.S.

1 1.05 0.90 0.00 2.36 0.00 0.00 0.00 0.00

time (sec)

N/A 1.401 1.160 0.000 0.526 0.000 0.000 0.000 0.000

Problem 38

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

234 246 213 0 555 0 0 0 0

N.S.

1 1.05 0.91 0.00 2.37 0.00 0.00 0.00 0.00

time (sec)

N/A 0.932 1.015 0.000 0.497 0.000 0.000 0.000 0.000

Problem 39

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 132 111 0 264 534 0 0 0

N.S.

1 1.11 0.93 0.00 2.22 4.49 0.00 0.00 0.00

time (sec)

N/A 0.503 0.181 0.000 0.455 0.267 0.000 0.000 0.000

Problem 40

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 496 19 17 20 20

N.S.

1 1.00 1.10 0.90 24.80 0.95 0.85 1.00 1.00

time (sec)

N/A 0.185 4.452 0.394 1.092 0.247 2.102 0.612 4.065

Problem 41

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 496 23 19 20 20

N.S.

1 1.00 1.10 0.90 24.80 1.15 0.95 1.00 1.00

time (sec)

N/A 0.189 5.362 0.456 1.268 0.246 2.037 0.681 3.663

Problem 42

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1147 1209 848 0 4345 0 0 0 0

N.S.

1 1.05 0.74 0.00 3.79 0.00 0.00 0.00 0.00

time (sec)

N/A 2.440 3.257 0.000 1.390 0.000 0.000 0.000 0.000

Problem 43

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

787 830 662 0 2477 0 0 0 0

N.S.

1 1.05 0.84 0.00 3.15 0.00 0.00 0.00 0.00

time (sec)

N/A 1.904 2.616 0.000 0.895 0.000 0.000 0.000 0.000

Problem 44

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

204 221 517 0 994 828 0 0 0

N.S.

1 1.08 2.53 0.00 4.87 4.06 0.00 0.00 0.00

time (sec)

N/A 0.744 5.669 0.000 0.601 0.276 0.000 0.000 0.000

Problem 45

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 3514 38 19 20 20

N.S.

1 1.00 1.10 0.90 175.70 1.90 0.95 1.00 1.00

time (sec)

N/A 0.176 168.734 0.653 3.513 0.252 3.461 1.117 4.733

Problem 46

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A F(-2) N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 0 44 20 20 20

N.S.

1 1.00 1.10 0.90 0.00 2.20 1.00 1.00 1.00

time (sec)

N/A 0.183 33.606 0.716 0.000 0.253 3.431 1.111 4.120

Problem 47

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

287 287 287 0 1119 0 0 0 0

N.S.

1 1.00 1.00 0.00 3.90 0.00 0.00 0.00 0.00

time (sec)

N/A 0.628 0.098 0.000 0.493 0.000 0.000 0.000 0.000

Problem 48

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

203 203 203 0 618 0 0 0 0

N.S.

1 1.00 1.00 0.00 3.04 0.00 0.00 0.00 0.00

time (sec)

N/A 0.480 0.032 0.000 0.399 0.000 0.000 0.000 0.000

Problem 49

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

98 98 98 0 0 249 0 0 0

N.S.

1 1.00 1.00 0.00 0.00 2.54 0.00 0.00 0.00

time (sec)

N/A 0.321 0.022 0.000 0.000 0.265 0.000 0.000 0.000

Problem 50

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 16 68 18 15 18 18

N.S.

1 1.00 1.11 0.89 3.78 1.00 0.83 1.00 1.00

time (sec)

N/A 0.176 4.948 0.393 0.530 0.229 1.634 0.458 4.104

Problem 51

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

18 18 20 16 72 18 17 18 18

N.S.

1 1.00 1.11 0.89 4.00 1.00 0.94 1.00 1.00

time (sec)

N/A 0.176 2.096 0.348 0.531 0.247 1.820 0.459 4.100

Problem 52

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

597 598 828 0 4725 0 0 0 0

N.S.

1 1.00 1.39 0.00 7.91 0.00 0.00 0.00 0.00

time (sec)

N/A 1.046 4.704 0.000 0.935 0.000 0.000 0.000 0.000

Problem 53

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

408 411 571 0 2421 0 0 0 0

N.S.

1 1.01 1.40 0.00 5.93 0.00 0.00 0.00 0.00

time (sec)

N/A 0.813 3.853 0.000 0.552 0.000 0.000 0.000 0.000

Problem 54

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F A F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

206 214 185 0 0 320 0 0 0

N.S.

1 1.04 0.90 0.00 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.575 1.595 0.000 0.000 0.273 0.000 0.000 0.000

Problem 55

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 298 36 17 20 20

N.S.

1 1.00 1.10 0.90 14.90 1.80 0.85 1.00 1.00

time (sec)

N/A 0.176 123.769 0.935 0.717 0.246 8.785 0.876 4.536

Problem 56

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 299 36 19 20 20

N.S.

1 1.00 1.10 0.90 14.95 1.80 0.95 1.00 1.00

time (sec)

N/A 0.180 19.051 1.214 1.023 0.234 2.600 0.868 4.285

Problem 57

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

511 533 451 0 1315 0 0 0 0

N.S.

1 1.04 0.88 0.00 2.57 0.00 0.00 0.00 0.00

time (sec)

N/A 2.239 1.656 0.000 0.681 0.000 0.000 0.000 0.000

Problem 58

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

352 362 310 0 813 0 0 0 0

N.S.

1 1.03 0.88 0.00 2.31 0.00 0.00 0.00 0.00

time (sec)

N/A 1.406 1.117 0.000 0.512 0.000 0.000 0.000 0.000

Problem 59

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

176 189 165 0 446 746 0 0 0

N.S.

1 1.07 0.94 0.00 2.53 4.24 0.00 0.00 0.00

time (sec)

N/A 0.733 0.880 0.000 0.460 0.259 0.000 0.000 0.000

Problem 60

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 496 19 17 20 20

N.S.

1 1.00 1.10 0.90 24.80 0.95 0.85 1.00 1.00

time (sec)

N/A 0.187 4.394 0.431 1.000 0.228 2.146 0.755 3.966

Problem 61

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 496 23 19 20 20

N.S.

1 1.00 1.10 0.90 24.80 1.15 0.95 1.00 1.00

time (sec)

N/A 0.184 5.260 0.473 1.461 0.227 12.636 0.675 3.959

Problem 62

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1691 1774 1136 0 8152 0 0 0 0

N.S.

1 1.05 0.67 0.00 4.82 0.00 0.00 0.00 0.00

time (sec)

N/A 3.031 4.271 0.000 2.639 0.000 0.000 0.000 0.000

Problem 63

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

1155 1215 852 0 4345 0 0 0 0

N.S.

1 1.05 0.74 0.00 3.76 0.00 0.00 0.00 0.00

time (sec)

N/A 2.253 3.215 0.000 1.339 0.000 0.000 0.000 0.000

Problem 64

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F B B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

610 645 538 0 1732 1187 0 0 0

N.S.

1 1.06 0.88 0.00 2.84 1.95 0.00 0.00 0.00

time (sec)

N/A 1.633 2.913 0.000 0.705 0.272 0.000 0.000 0.000

Problem 65

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 3514 38 19 20 20

N.S.

1 1.00 1.10 0.90 175.70 1.90 0.95 1.00 1.00

time (sec)

N/A 0.179 165.447 0.636 3.561 0.235 3.810 1.059 4.583

Problem 66

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A F(-1) N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 18 2524 44 0 20 20

N.S.

1 1.00 1.10 0.90 126.20 2.20 0.00 1.00 1.00

time (sec)

N/A 0.183 119.963 0.669 15.397 0.244 0.000 1.127 4.287

[front] [up]